!(<{1,2}, 2>aUb)